ParCoSS: Efficient Parallelized Compiled Symbolic Simulation
نویسندگان
چکیده
We present the tool ParCoSS for verification of cooperative multithreading programs. Our tool is based on the recently proposed Compiled Symbolic Simulation (CSS) technique. Additionally, we employ parallelization to further speed-up the verification. The potential of our tool is shown by evaluation.
منابع مشابه
Symbolic Computation Techniques for Efficient Control Plant Modeling and HIL Simulation: The Case of MapleSim
This paper describes recent developments in creating better models that still run efficiently for rapid virtual simulations, including realtime, or hardware-in-the-loop (HIL) simulations. The presented techniques have been motivated by the needs of the global automotive industries in particular. Progress in automotive model-based design (MBD), however, has faced very serious recent impediments ...
متن کاملFrom Tensor Equations to Numerical Code - Computer Algebra Tools for Numerical Relativity
In this paper we present our recent work in developing a computer-algebra tool for systems of partial differential equations (PDEs), termed ”Kranc”. Our work is motivated by the problem of finding solutions of the Einstein equations through numerical simulations. Kranc consists of Mathematica based computer-algebra packages, that facilitate the task of dealing with symbolic tensorial calculatio...
متن کاملSymbolic Performance Modeling of Parallel Systems
Performance prediction is an important engineering tool that provides valuable feedback on design choices in program synthesis and machine architecture development. We present an analytic performance modeling approach aimed to minimize prediction cost, while providing a prediction accuracy that is sufficient to enable major code and data mapping decisions. Our approach is based on a performance...
متن کاملAdvanced Techniques for Multiprocessor Simulation
High-speed multiprocessor simulation is crucial for the exploration and validation of complex SoC. This paper introduces a fast compiled multiprocessor simulator termed ‘OBSIM2’ with detailed implementation techniques. Single process-based compiled simulation without time-consuming message passing protocol and efficient synchronization method are proposed. We also reduce the compile time overhe...
متن کاملFrom Simulation to Verification ( and Back )
Symbolic evaluation is the execution of software and software designs on inputs given as symbolic or explicit constants along with constraints on these inputs. Efficient symbolic evaluation is now feasible due to recent advances in efficient decision procedures and symbolic model checking. Symbolic evaluation can be applied to partially implemented descriptions and provides wider coverage and g...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2016